マルチパラダイム言語TAO⑧ 論理型パラダイム(2) - 共立出版コンピュータサイエンス誌『bit』